A logical formulation of the Boolean model and of weighted Boolean models
نویسنده
چکیده
In this paper the role of logic as a formal basis to exploit the query evaluation process of the boolean model and of weighted boolean models is analysed. The proposed approach is based on the expression of the constraint imposed by a query term on a document representation by means of the implication connective (by a fuzzy implication in the case of weighted terms). A logical formula corresponds to a query evaluation structure, and the degree of relevance of a document to a user query is obtained as the truth value of the formula expressing the evaluation structure of the considered query under the interpretation corresponding with a document and the query itself.
منابع مشابه
Propagation Models and Fitting Them for the Boolean Random Sets
In order to study the relationship between random Boolean sets and some explanatory variables, this paper introduces a Propagation model. This model can be applied when corresponding Poisson process of the Boolean model is related to explanatory variables and the random grains are not affected by these variables. An approximation for the likelihood is used to find pseudo-maximum likelihood esti...
متن کاملPhoneme classification by boolean networks
The most popular neural network models for use in speech recognition experiments are employ model neurons which apply a nonlinear function to a weighted sum of their inputs. These networks are trained by adjusting the weights in the weighted sums. There is another class of models called Boolean networks, in which the model neurons output logical functions of their inputs. The training process a...
متن کاملمکانیابی محل دفن پسماند جامد شهر ایلام با استفاده از رویههای بولین و ترکیب خطی وزنی در محیط GIS
Abstract Background and purpose: Urban developments and population growth have dramatically increased all kinds of municipal solid waste (MSW) generation. Hence, treatment and disposal of municipal waste is one of the main concerns in urban environmental management. The aim of this study was to determine suitable locations for landfill based on environmental criteria using Boolean and Weight...
متن کاملImproved Skips for Faster Postings List Intersection
Information retrieval can be achieved through computerized processes by generating a list of relevant responses to a query. The document processor, matching function and query analyzer are the main components of an information retrieval system. Document retrieval system is fundamentally based on: Boolean, vector-space, probabilistic, and language models. In this paper, a new methodology for mat...
متن کاملImproved Skips for Faster Postings List Intersection
Information retrieval can be achieved through computerized processes by generating a list of relevant responses to a query. The document processor, matching function and query analyzer are the main components of an information retrieval system. Document retrieval system is fundamentally based on: Boolean, vector-space, probabilistic, and language models. In this paper, a new methodology for mat...
متن کامل